Cayley–Dickson Procedure, Relativistic Wave Equations and Supersymmetric Oscillators

The relativistic first-order wave equations for massive particles with spin 0,1,1/2 are formulated in terms of a factorization of the Klein–Fock equation by means of the algebra of octonions. An analogous method applied to Hamiltonian of the quantum isotropic oscillator leads to the natural generalization of the model. The class of supersymmetric oscillators with dimension N7 associated with te algebras of the Cayley–Dickson series is introduced.     

Spherical classes and the Lambda algebra

Let be Singer's invariant-theoretic model of the dual of the lambda algebra with , where denotes the mod 2 Steenrod algebra. We prove that the inclusion of the Dickson algebra, , into is a chain-level representation of the Lannes-Zarati dual homomorphism

The Lannes-Zarati homomorphisms themselves, , correspond to an associated graded of the Hurewicz map

Based on this result, we discuss some algebraic versions of the classical conjecture on spherical classes, which states that Only Hopf invariant one and Kervaire invariant one classes are detected by the Hurewicz homomorphism. One of these algebraic conjectures predicts that every Dickson element, i.e. element in , of positive degree represents the homology class in for 2$">.

We also show that factors through , where denotes the differential of . Therefore, the problem of determining should be of interest.

     

The hit problem for the Dickson algebra

Let the mod 2 Steenrod algebra, , and the general linear group, , act on with in the usual manner. We prove the conjecture of the first-named author in Spherical classes and the algebraic transfer, (Trans. Amer. Math Soc. 349 (1997), 3893-3910) stating that every element of positive degree in the Dickson algebra is -decomposable in for arbitrary 2$">. This conjecture was shown to be equivalent to a weak algebraic version of the classical conjecture on spherical classes, which states that the only spherical classes in are the elements of Hopf invariant one and those of Kervaire invariant one.

     

The Cayley–Dickson process for dialgebras

We adapt the algorithm of Kolesnikov and Pozhidaev, which converts a polynomial identity for algebras into the corresponding identities for dialgebras, to the Cayley–Dickson doubling process. We obtain a generalization of this process to the setting of dialgebras, establish some of its basic properties, and construct dialgebra analogues of the quaternions and octonions.     

Skew Hadamard Difference Sets from Dickson Polynomials of Order 7

Skew Hadamard difference sets have been an interesting topic of study for over 70 years. For a long time, it had been conjectured the classical Paley difference sets (the set of nonzero quadratic residues in where ) were the only example in Abelian groups. In 2006, the first author and Yuan disproved this conjecture by showing that the image set of is a new skew Hadamard difference set in with m odd, where denotes the first kind of Dickson polynomials of order n and . The key observation in the proof is that is a planar function from to for m odd. Since then a few families of new skew Hadamard difference sets have been discovered. In this paper, we prove that for all , the set is a skew Hadamard difference set in , where m is odd and . The proof is more complicated and different than that of Ding‐Yuan skew Hadamard difference sets since is not planar in . Furthermore, we show that such skew Hadamard difference sets are inequivalent to all existing ones for by comparing the triple intersection numbers.     

Verlinde模性范畴上的Casimir数及其应用

本文计算了秩为n+1的一类特殊的Verlinde模性范畴L的Casimir数,计算结果表明该Casimir数为2n+4.作为应用,由Higman定理知域K上的Grothendieck代数Gr(L)_Z K是半单代数当且仅当2n+4在域K中不为零.这也给出了第二类型n+1次Dickson多项式E_(n+1)(X)在K[X]中无重因式的一个等价刻画.如果2n+4在域K中为零,借助于Dickson多项式的有关因式分解定理,本文完全给出了Grothendieck代数Gr(L)_Z K的Jacobson根.     

The weak braided Hopf algebra structure of some Cayley–Dickson algebras

It has been shown by Albuquerque and Majid that a class of unital k-algebras, not necessarily associative, obtained through the Cayley–Dickson process can be viewed as commutative associative algebras in some suitable symmetric monoidal categories. In this note we will prove that they are, moreover, commutative and cocommutative weak braided Hopf algebras within these categories. To this end we first define a Cayley–Dickson process for coalgebras. We then see that the k-vector space of complex numbers, of quaternions, of octonions, of sedenions, etc. fit to our theory, hence they are all monoidal coalgebras as well, and therefore weak braided Hopf algebras.     

Notes on some new kinds of pseudoprimes

J. Browkin defined in his recent paper (Math. Comp. 73 (2004), pp. 1031-1037) some new kinds of pseudoprimes, called Sylow -pseudoprimes and elementary Abelian -pseudoprimes. He gave examples of strong pseudoprimes to many bases which are not Sylow -pseudoprime to two bases only, where or .

In this paper, in contrast to Browkin's examples, we give facts and examples which are unfavorable for Browkin's observation to detect compositeness of odd composite numbers. In Section 2, we tabulate and compare counts of numbers in several sets of pseudoprimes and find that most strong pseudoprimes are also Sylow -pseudoprimes to the same bases. In Section 3, we give examples of Sylow -pseudoprimes to the first several prime bases for the first several primes . We especially give an example of a strong pseudoprime to the first six prime bases, which is a Sylow -pseudoprime to the same bases for all . In Section 4, we define to be a -fold Carmichael Sylow pseudoprime, if it is a Sylow -pseudoprime to all bases prime to for all the first smallest odd prime factors of . We find and tabulate all three -fold Carmichael Sylow pseudoprimes . In Section 5, we define a positive odd composite to be a Sylow uniform pseudoprime to bases , or a Syl-upsp for short, if it is a Syl-psp for all the first small prime factors of , where is the number of distinct prime factors of . We find and tabulate all the 17 Syl-upsp's and some Syl-upsp 's . Comparisons of effectiveness of Browkin's observation with Miller tests to detect compositeness of odd composite numbers are given in Section 6.

     

Rational invariants of certain classical groups over finite fields

Let be a finite field with q elements, where q is a prime power. Let G be a subgroup of the general linear group over and be the rational function field over . We seek to understand the structure of the rational invariant subfield . In this paper, we prove that is rational (or, purely transcendental) by giving an explicit set of generators when G is the symplectic group. In particular, the set of generators we gave satisfies the Dickson property.